Nuprl Definition : isect def
13,42
postcript
pdf
x
:
A
.
B
(
x
) is Primitive
latex
Up
core
1
,
core
1
FDL editor aliases
given
origin
x:A.B(x) is Primitive x:A.B(x) is Primitive